($x$ initially $i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$s($i$;0).$x$